| 1. | Yet, the BPI is strictly weaker than the axiom of choice, though the proof of this statement, due to J. D. Halpern and Azriel Lévy is rather non-trivial. Pourtant, BPI est strictement plus faible que l'axiome du choix, la preuve de ce théorème, due à J. D. Halpern et Azriel Lévy étant cependant non triviale. |